Model Transformations from a Data Parallel Formalism towards Synchronous Languages
نویسندگان
چکیده
The increasing complexity of embedded system designs calls for high-level specification formalisms and for automated transformations towards lower-level descriptions. In this report, a metamodel and a transformation chain are defined from a high-level modeling framework, Gaspard, for data-parallel systems towards a formalism of synchronous equations. These equations are translated in synchronous data-flow languages, such as Lustre, Lucid synchrone and Signal, which provide designers with formal techniques and tools for validation. In order to benefit from the methodological advantages of re-usability and platform-independence, a Model-Driven Engineering approach is applied. Key-words: Intensive signal processing, data-parallel,Gaspard, Array-OL, synchronous approach, MDE, model transformations ∗ [email protected] † [email protected] ‡ [email protected] § [email protected] Transformation de modèles à partir d’un formalisme à parallélisme de données vers des langages synchrones Résumé : La complexité croissante de la conception des systèmes embarqués entrâıne un besoin de formalismes de spécifications de haut niveau ainsi que des transformations automatisées vers des descriptions de plus bas niveau. Dans ce rapport, un métamodèle et une châıne de transformation sont définis à partir d’un cadre de modélisation de haut niveau, Gaspard, pour des systèmes avec du parallélisme de données, vers un formalisme d’équations synchrones. Ces équations sont ensuite traduites dans les languages synchrones flot de données, tels que Lustre, Lucid synchrone et Signal, qui offrent aux concepteurs des techniques et outils de validation. Afin de bénéficier des avantages méthodologiques de la réutilisabilité et de l’indépendance vis-à-vis de toute plate-forme, une approche d’Ingénierie Dirigée par les Modèles (IDM) est appliquée. Mots-clés : Traitement intensif du signal, parallélisme de données, Gaspard, Array-OL, approche synchrone, IDM, transformations de modèles Model Transformations from a Data Parallel Formalism towards Synchronous Languages 3
منابع مشابه
Implementing Graph Transformations in the Bulk Synchronous Parallel Model
Big data becomes a challenge in more and more domains. In many areas, such as in social networks, the entities of interest have relational references to each other and thereby form large-scale graphs (in the order of billions of vertices). At the same time, querying and updating these data structures is a key requirement. Complex queries and updates demand expressive high-level languages which ...
متن کاملTranslation Validation for Transformations on Abstract Clocks in Synchronous Languages
Translation validation was introduced as a technique to formally verify the correctness of code generators that attempts to verify that program transformations preserve the semantics. In this work, we adopt this approach to formally verify that the clock semantics is preserved during the transformations of a synchronous data-flow compiler. We represent the clock semantics of a program and its t...
متن کاملVectorising a non-strict data-parallel functional language
The role of a vectorising compiler for an imperative language is to transform the for-loops of a program into the vector instructions of a data-parallel machine. In a functional language, constant complexity map is the essence of data-parallelism, where a function is applied to every element of a data-structure all at the same time. As map can be considered to be an abstraction of an imperative...
متن کاملTowards a Scalable Parallel Object Database { The Bulk Synchronous Parallel ApproachK
Parallel computers have been successfully deployed in many scienti c and numerical application areas, although their use in non-numerical and database applications has been scarce. In this report, we rst survey the architectural advancements beginning to make general-purpose parallel computing cost-e ective, the requirements for non-numerical (or symbolic) applications, and the previous attempt...
متن کاملSystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally Asynchronous Locally Synchronous (GALS) model of computation. The synchronous reactive (SR) model is used for synchronous parts of the modelled system, and those parts, which represent individual clock-domains, are co...
متن کامل